$\forall$$T$:Type, $P$, $Q$, $R$:($T$$\rightarrow$Prop). $P$ as strong as $Q$  $\Rightarrow$ $Q$ as strong as $R$  $\Rightarrow$ $P$ as strong as $R$